A generalization of cellular automata over groups

نویسندگان

چکیده

Let G be a group and let A finite set with at least two elements. cellular automaton (CA) over AG is function τ:AG→AG defined via memory S⊆G local μ:AS→A. The goal of this paper to introduce the definition generalized (GCA) τ:AG→AH, where H another arbitrary group, homomorphism ϕ:H→G. Our preserves essence CA, as we prove analogous versions three key results in theory CA: Curtis-Hedlund Theorem for GCA, Composition Invertibility GCA. When = H, that invertible GCA isomorphic semidirect product Aut(G)op CA. Finally, apply our study automorphisms monoid CA(G;A) consisting all CA . In particular, show every ϕ∈Aut(G) defines an automorphism conjugation by ϕ, that, when abelian, Aut(G) embedded outer CA(G;A).Communicated Pedro Garcia-Sanchez

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Generalization of Cellular Automata

Cellular auto mata (CA) models have historically included only a bounded amo unt of state information. Giving cells the ab ility to send and receive a possibly unb ounded number of finite size messages creates three possible CA programming models: bounded state only, unb ounded messaging only, and both bounded state and un bound ed messaging. It is shown t hat the lat ter , alt hough computat i...

متن کامل

Post-surjectivity and balancedness of cellular automata over groups

We discuss cellular automata over arbitrary finitely generated groups. We call a cellular automaton post-surjective if for any pair of asymptotic configurations, every preimage of one is asymptotic to a preimage of the other. The well known dual concept is pre-injectivity: a cellular automaton is pre-injective if distinct asymptotic configurations have distinct images. We prove that pre-injecti...

متن کامل

a generalization of strong causality

در این رساله t_n - علیت قوی تعریف می شود. این رده ها در جدول علیت فضا- زمان بین علیت پایدار و علیت قوی قرار دارند. یک قضیه برای رده بندی آنها ثابت می شود و t_n- علیت قوی با رده های علی کارتر مقایسه می شود. همچنین ثابت می شود که علیت فشرده پایدار از t_n - علیت قوی نتیجه می شود. بعلاوه به بررسی رابطه نظریه دامنه ها با نسبیت عام می پردازیم و ثابت می کنیم که نوع خاصی از فضا- زمان های علی پایدار, ب...

Non-Uniform Automata Over Groups

A new model, non-uniform deterministic finite automata (NUDFA’s) over general tinite monoids, has recently been developed as a strong link between the theory of finite automata and low-level parallel complexity. Achievements of this model include the proof that width 5 branching programs recognize exactly the languages in non-uniform NC’, NUDFA characterizations of several important subclasses ...

متن کامل

Extended finite automata over groups

Some results from Dassow and Mitrana (Internat. J. Comput. Algebra (2000)), Griebach (Theoret. Comput. Sci. 7 (1978) 311) and Ibarra et al. (Theoret. Comput. Sci. 2 (1976) 271) are generalized for finite autómata over arbitrary groups. The closure properties of these autómata are poorer and the accepting power is smaller when abelian groups are considered. We prove that the addition of any abel...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Communications in Algebra

سال: 2023

ISSN: ['1532-4125', '0092-7872']

DOI: https://doi.org/10.1080/00927872.2023.2177663